d be positive rational such that a √b = c √d